1. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
2. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
3. Boole's logic and probability :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebraic logic ; Algebra, Boolean ; Probabilities ;
4. Boole's logic and probability :
پدیدآورنده : Theodore Hailperin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean,Algebraic logic,Probabilities
رده :
QA10
.
H34
1986
5. Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
پدیدآورنده : Hailperin, Theodore.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Algebraic logic,، Algebra, Boolean,، Probabilities
رده :
QA
10
.
H34
6. Boole's logic and probability : a critical exposition from the standpoint of contemporary algera, logic and probability theory
پدیدآورنده : Hailperin, Theodore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebraic logic,، Algebra, Boolean,، Probabilities
رده :
QA
10
.
H34
1986
7. Boolean models and methods in mathematics, computer science, and engineering /
پدیدآورنده : edited by Yves Crama, Peter L. Hammer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean,Probabilities
رده :
QA10
.
3
.
B658
2010
8. Sentential probability logic :
پدیدآورنده : Theodore Hailperin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean.,Algebraic logic.,Probabilities.
رده :
QA10
.
T446
1996